class PRODUCT inherit TYPE create
	make_product
feature
	contents : HASHED_DICTIONARY[TYPE, STRING]
	make_product( n : STRING) is
	do
		!!contents.make
		make(n)
	end
end
